//
//  exer1_7.c
//  denissritchie
//
//  Created by Amit Jha on 8/5/12.
//  Copyright (c) 2012 Amit Jha. All rights reserved.
//

#include <stdio.h>


int main_exer1_7(){

    printf("%d",EOF);
    return 0;
    
}